Knihy od autora Tobias Nipkow

Zobrazeno 1 – 13 z 13 výsledků

1. 

   Isabelle/HOL

   Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002

   
   

   Skladem u dodavatele - Odesíláme za 10-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1605 Kč

   Koupit
2. 

   FM 2006: Formal Methods

   Jayadev Misra, Tobias Nipkow, Emil Sekerinski | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   2646 Kč

   Koupit
3. 

   Higher-Order Algebra, Logic, and Term Rewriting

   Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow | Springer, Berlin, 1994

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1350 Kč

   Koupit
4. 

   Types for Proofs and Programs

   Henk Barendregt, Tobias Nipkow | Springer, Berlin, 1994

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1350 Kč

   Koupit
5. 

   Concrete Semantics

   Tobias Nipkow, Gerwin Klein | Springer International Publishing AG, 2016

   
   

   Skladem u dodavatele - Odesíláme za 10-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1457 Kč

   Koupit
6. 

   Concrete Semantics

   Tobias Nipkow, Gerwin Klein | Springer International Publishing AG, 2014

   
   

   Skladem u dodavatele - Odesíláme za 10-18 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   2048 Kč

   Koupit
7. 

   Automated Reasoning

   Rajeev Gore, Alexander Leitsch, Tobias Nipkow | Springer Nature B.V., 2014

   
   

   Skladem u dodavatele - Odesíláme za 10-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1309 Kč

   Koupit
8. 

   Theorem Proving in Higher Order Logics

   Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1350 Kč

   Koupit
9. 

   Functional Data Structures and Algorithms

   Tobias Nipkow | Association for Computing Machinery, 2025

   
   

   Skladem u dodavatele - Odesíláme za 9-15 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   1665 Kč

   Koupit
10. 

    Functional Data Structures and Algorithms

    Tobias Nipkow | ACM Books, 2025

    
    

    Skladem u dodavatele - Odesíláme za 9-15 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1229 Kč

    Koupit
11. 

    Automated Reasoning

    Rajeev Gore, Alexander Leitsch, Tobias Nipkow | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2001

    
    

    50 % šance - Prohledáme celý svět

    Jazyk: Angličtina

    Vazba: Brožovaná

    2745 Kč

    Koupit
12. 

    Rewriting Techniques and Applications

    Tobias Nipkow | Springer, Berlin, 1998

    
    

    Skladem u dodavatele v malém množství - Odesíláme za 13-18 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1350 Kč

    Koupit
13. 

    Isabelle

    Lawrence C. Paulson, Tobias Nipkow | Springer, Berlin, 1994

    
    

    Skladem u dodavatele v malém množství - Odesíláme za 13-18 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1350 Kč

    Koupit

Knihy si můžete vyzvednout na mnoha místech po celé ČR. Zjistěte více